rewriting subtraction as addition